1![The Halting Problems of Network Stack Insecurity Le n S a s s a m a n , M e r e d i t h L . P a t t e r s o n , Se r g e y B r a t u s , and Anna Shubina Len Sassaman was a PhD The Halting Problems of Network Stack Insecurity Le n S a s s a m a n , M e r e d i t h L . P a t t e r s o n , Se r g e y B r a t u s , and Anna Shubina Len Sassaman was a PhD](https://www.pdfsearch.io/img/1ebd3fbe415767b14489941e9b906b88.jpg) | Add to Reading ListSource URL: langsec.orgLanguage: English - Date: 2011-12-01 04:10:13
|
---|
2![The Halting Problems of Network Stack Insecurity Le n S a s s a m a n , M e r e d i t h L . P a t t e r s o n , Se r g e y B r a t u s , and Anna Shubina Len Sassaman was a PhD The Halting Problems of Network Stack Insecurity Le n S a s s a m a n , M e r e d i t h L . P a t t e r s o n , Se r g e y B r a t u s , and Anna Shubina Len Sassaman was a PhD](https://www.pdfsearch.io/img/21de2fcdea572800f384d5f8b894e4e3.jpg) | Add to Reading ListSource URL: static.usenix.orgLanguage: English - Date: 2011-11-23 16:29:49
|
---|
3![Reducing the size of NFAs by using equivalences and preorders L UCIAN I LIE ROBERTO S OLIS -O BA Reducing the size of NFAs by using equivalences and preorders L UCIAN I LIE ROBERTO S OLIS -O BA](https://www.pdfsearch.io/img/349c089f6fb575cb6907e542b4b7abcf.jpg) | Add to Reading ListSource URL: www.cs.ucr.eduLanguage: English - Date: 2005-07-08 16:23:57
|
---|
4![software construction Editors: Andy Hunt and Dave Thomas ■ The Pragmatic Programmers a n d y @ p r a g m a t i c p r o g r a m m e r. c o m ■ d a v e @ p r a g m a t i c p r o g r a m m e r. c o m State Machines Dave software construction Editors: Andy Hunt and Dave Thomas ■ The Pragmatic Programmers a n d y @ p r a g m a t i c p r o g r a m m e r. c o m ■ d a v e @ p r a g m a t i c p r o g r a m m e r. c o m State Machines Dave](https://www.pdfsearch.io/img/9fa24d9064f5969bb7a0df4a893bb816.jpg) | Add to Reading ListSource URL: media.pragprog.comLanguage: English - Date: 2007-10-31 17:44:24
|
---|
5![Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language∗ Chryssis Georgiou Nancy Lynch Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language∗ Chryssis Georgiou Nancy Lynch](https://www.pdfsearch.io/img/51dd17df2e82f2b9e6fa0bf6b0669e2a.jpg) | Add to Reading ListSource URL: www.cs.ucy.ac.cyLanguage: English - Date: 2005-11-11 05:43:22
|
---|
6![On the Application of Formal Methods for Specifying and Verifying Distributed Protocols On the Application of Formal Methods for Specifying and Verifying Distributed Protocols](https://www.pdfsearch.io/img/88b608a73bd336dd9217cb30aa599311.jpg) | Add to Reading ListSource URL: www.cs.ucy.ac.cyLanguage: English - Date: 2008-05-27 20:54:36
|
---|
7![On the Automated Implementation of Time-based Paxos Using the IOA Compiler ∗ Chryssis Georgiou† Procopis Hadjiprocopiou‡ On the Automated Implementation of Time-based Paxos Using the IOA Compiler ∗ Chryssis Georgiou† Procopis Hadjiprocopiou‡](https://www.pdfsearch.io/img/516d276bd4354bf28e2aadedbd78939c.jpg) | Add to Reading ListSource URL: www.cs.ucy.ac.cyLanguage: English - Date: 2010-09-22 05:54:39
|
---|
8![Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language∗ Chryssis Georgiou† Dept. of Computer Science University of Cyprus Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language∗ Chryssis Georgiou† Dept. of Computer Science University of Cyprus](https://www.pdfsearch.io/img/eb6b425f7aae5052ebadb21697ffdb5a.jpg) | Add to Reading ListSource URL: www.cs.ucy.ac.cyLanguage: English - Date: 2008-11-27 02:42:43
|
---|
9![Vis Comput[removed]: 67–81 DOI[removed]s00371[removed]O R I G I N A L A RT I C L E GPGPU computation and visualization of three-dimensional Vis Comput[removed]: 67–81 DOI[removed]s00371[removed]O R I G I N A L A RT I C L E GPGPU computation and visualization of three-dimensional](https://www.pdfsearch.io/img/6b4b819867eda97cd5850586258f748e.jpg) | Add to Reading ListSource URL: www.geo.uzh.chLanguage: English - Date: 2011-02-09 05:41:19
|
---|
10![An Introduction to Input/Output Automata Nancy A. Lynch and Mark R. Tuttle Massachusetts Institute of Technology Cambridge, Mass[removed]November 18, 1988 An Introduction to Input/Output Automata Nancy A. Lynch and Mark R. Tuttle Massachusetts Institute of Technology Cambridge, Mass[removed]November 18, 1988](https://www.pdfsearch.io/img/562af5b64d73f213c264d262031b427a.jpg) | Add to Reading ListSource URL: www.markrtuttle.comLanguage: English - Date: 2007-04-26 00:00:00
|
---|